Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
Academic position | Full Professor |
---|---|
Research fields | Fundamentals of Mathematics, Logics, Set Theory,Geometry, Topology,Theoretical Philosophy |
Keywords | Logics of Formal Inconsistency, Paraconsistent Logics, Many-Valued Logics, Foundations of Reasoning |
Current contact address
Country | Brazil |
---|---|
City | Campinas |
Institution | Universidade Estadual de Campinas (UNICAMP) |
Institute | Centro de Logica e Epistemologia e Historia da Ciencia |
Homepage | http://www.cle.unicamp.br/prof/carnielli |
Host during sponsorship
Prof. Dr. Justus Diller | Institut für Mathematische Logik und Grundlagenforschung, Universität Münster, Münster |
---|---|
Prof. Dr. Rainer Stuhlmann-Laeisz | Professur für Logik und Grundlagenforschung, Rheinische Friedrich-Wilhelms-Universität Bonn, Bonn |
Prof. Dr. Heinrich Wansing | Institut für Philosophie II, Ruhr-Universität Bochum, Bochum |
Start of initial sponsorship | 01/09/1988 |
Program(s)
1987 | Humboldt Research Fellowship Programme |
---|
Publications (partial selection)
2008 | Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia and Cristina Sernadas : Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems. Springer, 2008 |
---|---|
2007 | Jean-Yves Beziau, Walter Carnielli and Dov Gabbay (Editors): Handbook of Paraconsistency. College Publications, 2007 |
2006 | Walter Alexandre Carnielli, Richard L. Epstein: Computability: computable functions, logic and the foundations of mathematics (portugesisch). 2006 |
2002 | Walter Carnielli, Marcelo E. Coniglio and Itala M.L. D'Ottaviano: Paraconsistency: The Logical Way to the Inconsistent. Proceedings of the II World Congress on Paraconsistency (WCP'2000). . Marcel Dekker Inc., 2002 |
2000 | Walter Alexandre Carnielli, Computability: computable functions, logic and the foundations of mathematics with the timeline Computability and Undecidability. Wadsworth/Thomson Learning, 2000 |